linear logic中文是什么意思

发音:

中文翻译
造句

线性逻辑

linear adj. 1.线的，直线的。 2.长度的。 3.【数学】 ...
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
cellular linear input logic 细胞线性输入逻辑
-logic -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
and logic “与”逻辑
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
logic-and 逻辑“与”
or logic 或逻辑
be linear with 与...成线性关系
linear adj. 1.线的，直线的。 2.长度的。 3.【数学】一次的，线性的。 4.【动、植】线状的；细长的。 5.由线条组成的，以线条为主的，强调线条的。 linear amplification 直线放大。 a linear equation 一次方程式。 a linear leaf 线形叶。 linear arts 线条艺术。
linear a 线形文字a; 线性文字a
no-linear 非线性的
linear linear 线性的
linear a and linear b 线形文字甲和乙
linear scan, linear scanning 线扫查
active logic 有源逻辑
actuating logic 执行逻辑
adaptive logic 适应性逻辑（电脑）; 自适应逻辑
affective logic 情感逻辑
algebra and logic 代数与逻辑
algebra of logic 逻辑代数
algebraic logic 代数逻辑
algorithm logic 运算逻辑
algorithmic logic 算法逻辑
alternating logic 交替逻辑

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

百科解释

Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics,, as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction.

详细百科解释